ar X iv : 0 90 1 . 39 84 v 1 [ cs . D B ] 2 6 Ja n 20 09 Stop the Chase
نویسنده
چکیده
The chase procedure, an algorithm proposed 25+ years ago to fix constraint violations in database instances, has been successfully applied in a variety of contexts, such as query optimization, data exchange, and data integration. Its practicability, however, is limited by the fact that – for an arbitrary set of constraints – it might not terminate; even worse, chase termination is an undecidable problem in general. In response, the database community has proposed sufficient restrictions on top of the constraints that guarantee chase termination on any database instance. In this paper, we propose a novel sufficient termination condition, called inductive restriction, which strictly generalizes previous conditions, but can be checked as efficiently. Furthermore, we motivate and study the problem of data-dependent chase termination and, as a key result, present sufficient termination conditions w.r.t. fixed instances. They are strictly more general than inductive restriction and might guarantee termination although the chase does not terminate in the general case.
منابع مشابه
ar X iv : 0 90 1 . 46 64 v 1 [ cs . L O ] 2 9 Ja n 20 09 Square root meadows ∗
Let Q0 denote the rational numbers expanded to a meadow by totalizing inversion such that 0 = 0. Q0 can be expanded by a total sign function s that extracts the sign of a rational number. In this paper we discuss an extension Q0(s, √ ) of the signed rationals in which every number has a unique square root.
متن کاملar X iv : 0 90 1 . 39 43 v 1 [ as tr o - ph . S R ] 2 6 Ja n 20 09 Solar analogues in open clusters : The case of M 67
Solar analogues are fundamental targets for a better understanding of our Sun and our Solar System. Usually, this research is limited to field stars, which offer several advantages and limitations. In this work, we present the results of a research of solar twins performed for the first time in a open cluster, namely M67. Our analysis allowed us to find five solar twins and also to derive a sol...
متن کاملar X iv : 0 90 2 . 32 39 v 1 [ m at h . D G ] 1 8 Fe b 20 09 Gauge theory in higher dimensions , II
متن کامل
ar X iv : 0 90 7 . 09 39 v 1 [ cs . A I ] 6 J ul 2 00 9 The Soft Cumulative Constraint
This research report presents an extension of Cumulative of Choco constraint solver, which is useful to encode over-constrained cumulative problems. This new global constraint uses sweep and task interval violation-based algorithms.
متن کاملar X iv : 0 90 1 . 38 34 v 1 [ m at h . N T ] 2 4 Ja n 20 09 On the Inverse Problem Relative to Dynamics of the w Function
In this paper we shall study the inverse problem relative to dynamics of the w function which is a special arithmetic function and shall get some results.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009